Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18h
๐Ÿ”—Category Theory
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท12h
๐Ÿ’ฌSmalltalk VMs
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท4hยท
Discuss: Hacker News
โœจGleam
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
โœ…Type Checking
Flag this post
How to Convert Cubic Bรฉzier Curves into Euler Spirals for GPU Optimization
hackernoon.comยท1d
๐ŸงฎCombinator Calculus
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท23hยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท8hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท6hยท
Discuss: Hacker News
๐Ÿ’พPersistent Heaps
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท21hยท
Discuss: Hacker News
๐ŸŒŠGradual Typing
Flag this post
A Beginnerโ€™s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.comยท13hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Flag this post
Grรถbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸงฉConstraint Solvers
Flag this post
Before You Learn Closures, Understand Context
tc39.esยท3dยท
Discuss: DEV
๐Ÿ“Rope Editors
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท18h
๐ŸŒฑMinimal ML
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Ÿ“šStack Allocation
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
C3 0.7.7 Vector ABI changes, RISC-V improvements and more
reddit.comยท5hยท
Discuss: r/programming
๐ŸงธToy Compilers
Flag this post